Ontologies for Plane, Polygonal Mereotopology
نویسندگان
چکیده
منابع مشابه
Ontologies for Plane, Polygonal Mereotopology
Several authors have suggested that a more parsimonious and conceptually elegant treatment of everyday mereological and topological reasoning can be obtained by adopting a spatial ontology in which regions, not points, are the primitive entities. This paper challenges this suggestion for mereotopological reasoning in 2-dimensional space. Our strategy is to de ne a mereotopological language toge...
متن کاملExpressivity in Polygonal, Plane Mereotopology
In recent years, there has been renewed interest in the development of formal languages for describing mereological (part-whole) and topological relationships between objects in space. Typically, the nonlogical primitives of these languages are properties and relations such as `x is connected' or `x is a part of y', and the entities over which their variables range are, accordingly, not points,...
متن کاملUndecidability of Plane Polygonal Mereotopology
This paper presents a mereotopological model of polygonal regions of the Euclidean plane and an undecidability proof of its rst-order theory. Restricted to the primitive operations the model is a Boolean algebra. Its single primitive predicate deenes simple polygons as the topologically simplest poly-gonal regions. It turns out that both the relations usually provided by mereotopolo-gies and mo...
متن کاملA Complete Axiom System for Polygonal Mereotopology of the Real Plane
This paper presents a calculus for mereotopological reasoning in which two-dimensional spatial regions are treated as primitive entities. A rst order predicate language L with a distinguished unary predicate c(x), function-symbols +; : and and constants 0 and 1 is de ned. An interpretation R for L is provided in which polygonal open subsets of the real plane serve as elements of the domain. Und...
متن کاملPolygonal web representation for higher order correlation functions of consistent polygonal Markov fields in the plane
We consider polygonal Markov fields originally introduced by Arak and Surgailis [1, 2]. Our attention is focused on fields with nodes of order two, which can be regarded as continuum ensembles of non-intersecting contours in the plane, sharing a number of salient features with the two-dimensional Ising model. The purpose of this paper is to establish an explicit stochastic representation for th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1997
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1039724888